Kleene algebra (suomeksi)

Määritelmät:

(lb, en, algebra) A De Morgan algebra which also satisfies the inequation $x \wedge \sim x \leqslant y\, \vee \sim y$ for all ''x'' and ''y'', where " $\sim$ " here denotes the De Morgan involution.